well-defined set

良定集合